<!-- typeInferenceExpectedTypeMismatch1 -->
<html>
Type inference failed. Expected type mismatch:
<table>
<tr>
  <td>required: </td>
  <td><b>String</b></td>
</tr>
<tr>
  <td>found: </td>
  <td><font color=red><b>Int</b></font></td>
</tr>
</table>
</html>